Ein "Stabiler" Speicher für ein speichergekoppeltes Multiprozessorsystem
نویسنده
چکیده
Eine Anmerkung zur Schreibweise: In dieser Arbeit wird der Begriff " Stabiler Speicher " als Eigenname verwendet. Daher wird in diesem Zusammenhang das Adjektiv " stabil " groß geschrieben. Auf die Anführungsstriche wird dabei verzichtet.
منابع مشابه
Signaturen stabiler Isotope in landwirtschaftlichen Produkten - Nachweis der Herkunft und Produktionsverfahrens
Die Herkunft von Lebensmitteln ist ein wichtiges Kriterium, welches das Kaufverhalten des Verbrauchers maßgeblich beeinflusst. Neben der geographischen Herkunft ist auch das Produktionsverfahren für den Verbraucher von Interesse, und dieses Interesse wird in speziellen Vermarktungswegen genutzt (‚Ökologischer Landbau’). Der Nachweis der Authentizität dieser Lebensmittel ist häufig schwierig. In...
متن کاملRaceVis: Ein Werkzeug zur Visualisierung von Data Races
Die Entwicklung und Wartung von nebenläufigen Programmen ist schwierig und fehleranfällig. Fehlende oder falsche Synchronisation kann zu komplizierten Fehlerszenarien führen, die dem Quelltext nur schwer anzusehen sind, jedoch katastrophale Auswirkungen auf die Programmausführung haben können. Durch statische Programmanalyse können alle Quelltextpositionen identifiziert werden, an denen bestimm...
متن کاملEin Partitionierungsdienst für Geographische Daten in Räumlichen Datenbanken
Da in der computergestützten Geographie mit zum Teil sehr großen Mengen von räumlichen Daten gearbeitet werden muss, hat sich mittlerweile die Überzeugung durchgesetzt, solche Datensätze in räumlichen Datenbanken zu speichern. Allerdings wird bei der Entwicklung von geographischen Programmen dem Aspekt der Skalierbarkeit oftmals wenig Beachtung geschenkt. So enthalten verbreitete Programme für ...
متن کاملOptimierte Segmentierung der Papille in HRT-Retinaaufnahmen
Kurzfassung. Der Papillenrand ist ein entscheidendes Merkmal zur Erkennung von krankhaften Veränderungen am Augenhintergrund. Zur Auswertung ist eine Segmentierung nötig, die meist manuell durch den Augenarzt vorgenommen werden muss. Eine robuste, automatische Segmentierung der Papille kann den Arzt unterstützen, die Reliabilität der Segmentierung erhöhen und eine Basis für eine automatische Di...
متن کاملInteraktive Exploration von Softwaremustern
Das Verständnis wiederkehrender Strukturen eines Softwaresystems ist äußerst hilfreich für dessen Gesamtverständnis. Ein erfolgreicher Ansatz diese Muster zu entdecken verwendet Formale Begriffsanalyse als Clusteringverfahren auf Tupeln von Programmelementen. Allerdings stellt die Laufzeitkomplexität dieses Ansatzes eine hohe Herausforderung dar. Wir haben ihn aufgenommen und konnten durch ein ...
متن کامل